MOOC avec `AlgoDok`,
réunion Sillages

le 10 janvier 2014

L. Robin

(avec l'usage du module Prezenti)

Le bandeau

La bannière Le menu

La présentation ⌛ Ⓝ++

I. "AlgoDok" : conçu pour une modélisation sémantique des documents

* Modélisation des connaissances : de 1991 à 2006, R et D
  pour une application au Génie Logiciel et aux Bases de Données

Constat : in fine, la notion de document apparaît comme universelle ;
 même les structures de données et les logiciels en sont aussi.

Aboutissement en 2006 : théorie sur un modèle primitif pour toute structure informatique,
 avec les notions de boîte (pour contenir),
 d'identifiant (pour désigner) et de classe (pour signifier).

En 2006 : premier prototype en SmallTalk, sous Squeak.

De 2009 à 2011 : autres prototypes en HTML + CSS + JS, du W3C.

[Le point de départ est MSCR. MCI-JS puis NOESIME (2010) et DOKAPLI (2011).]

* AlgoDok : permet de manipuler une structure documentaire,
 avec des instructions linguistiques.

Les boîtes qui composent cette structure sont appelées éléments
 (vocabulaire de HTML + CSS).
 
 Depuis fin 2011 : développement du module AD et de nombreux modules complémentaires ;
 principe du <v>WYSIWYM</v>what you see is what you mean,
 en opposition au <v>WYSIWYG</v>what you see is what you get, lié à la page imprimée.

AlgoDok = Algoritma Dokumento :
 une algorithmique en langage naturel, moyennant une syntaxe particulière,
 liée au Javascript (JS).
 
 [AlgoDok = Algoritme Dokumentumi
 = Algoritmo Dokumenta = Algoritmumi Dokumente]

* Algorithmique documentaire : en langage naturel,
 et avec des éléments algorithmiques particuliers…

…Mais un vocabulaire spécifique réduit au minimum : 
 booléen : <bool>Copie parfaitement rédigée</bool>,
 variable : <var>NOTE = 10,5</var>,
 instruction cliquable :
 <js class='fr'>afficher ('Ceci est un message émis par une instruction en français.')</js>
 et
 actionneur : .
 
 Instructions << orientée <v>MOOC</v>Massive Open Online Course >> :
 "attendre" et "lorsque", comme on peut l'expérimenter ici.

[]
 
* AlgoDok en pratique : un document est un texte balisé pour
 définir une structure d'éléments documentaires,
 expérimentable directement avec JSbin.

Le document : composé d'une tête (balise "head") et d'un corps (balise "body")
 composé des éléments suivants.

Des éléments usuels : titres,
   avec les balises "h1", ..., "h6" (six niveaux d'imbrication), paragraphes, avec la balise "p",
   et divisions, avec la balise "div".
   
   Des éléments algorithmiques : avec les balises "bool", "js" ou "i class=@JS@", "var" et
   "i class=@actionneur@".

Pour apprendre : le mieux est d'étudier et d'expérimenter
 les notions sur un petit exemple tout fait.
 
 [Pour l'édition on utilise un <v>colorisateur
 syntaxique</v>Comme Geany, Jedit,
 Notepad++ ou TextWrangler.
 Ou encore CodeMirror dans un document HTML.]

II. Des modules pour des documents applicatifs

* AlgoDok : c'est le module principal permettant de mettre au point des documents applicatifs,
 dont la sémantique est précisée sur le << site AD >>, avec de nombreux exemples.
 
 Pour en profiter en tant que concepteur, il faut en étudier les sources HTML.
 
 Un élément caractéristique et original :
 "la mémoire à instructions",
 pour le debug et la mise au point in situ.
 
 Leur conception, au fil des besoins pour des utilisateurs,
 a entraîné celle de modules complémentaires.

Recopie des instructions dans cette << mémoire >> par simple clic-droit.

[Ayant acquis un certain savoir-faire,
    on peut étudier avec profit le source HTML de cette présentation.]

* Modules pour la conception : exploités par importation statique,
 comme << le micro-module >>
 &lt;script src=@MikroMod/pister.js@>&lt;/script>.
 
 Cette présentation l'exploite, en autres : voyons-en le source !

Exemple : &lt;js <s>class=@fr@</s>>
 "pister ('les booléens') .avec ('la flèche 1')"
 &lt;/js>, code source de ce qui suit.

Une instruction linguistique cliquable pour
 <js class='fr'>pister ('les booléens') .avec ('la flèche 1')</js>.[]
 
* Modules pour un usage contingent : exploités par importation dynamique.

De nombreux exemples, à partir d'un premier : <js class='fr'>importer (EMD)</js>.

[Ces modules-ci ne sont utilisables qu'avec AlgoDok.]

III. Des modules à vocation scientifique

* Pour l'algorithmique : AlgoDok permet nativement d'apprendre et exploiter les concepts fondamentaux
 de la programmation.
 
 En JS ou Algo-fr : via des variables (globales) et scripts éditables.
 
 Exemple : 
 
 [Scripts avec JS ou Algo : des exposants comme sur une calculatrice.]

* Pour les formules mathématiques : on exploite le langage LaTeX qui,
 comme HTML, est un langage à balises.

On ne néglige pas les symboles HTML, comme <tt>&</tt>perp<tt>;</tt> (⊥).

Avec AlgoDok : on peut utiliser Formulo,
   qui insère implicitement des images créées par un serveur.

Avec ou sans AlgoDok : on peut utiliser MathJax,
   qui insère implicitement une structure en MathML.

En pratique : le mieux est de faire des tests en direct, à 
   partir de formules toutes faites, et par copier-coller
    (voir l'exemple pour CPGE, ou le même avec Formulo).

[MathJax : 58,8 Ko ; Formulo : 3,2 Ko (+ 2,6 Ko de CSS)]

* Pour les graphiques et le calcul formel : par exemple GeoDyn et WebXCAS.

GeoDyn, comme on peut le voir avec ces exemples.

WebXCAS, comme gros module, sur un exemple fourre-tout.

[Certains exemples utilisent aussi "Formulo" et d'autres modules.
    WebXCAS fait environ 6 Mo !!]

Cacher

↘↘ ↘ ↘

montrer .tout ('chapitre') cacher .tout ('chapitre') site AD R et D MSCR module AD avec JSbin modules complémentaires HTML symboles HTML Javascript Algo-fr LaTeX Formulo MathJax petit exemple pour CPGE avec Formulo en direct copier-coller GeoDyn ces exemples fourre-tout

Détacher le menu

Pupitre

14 px 16 px 18 px 21 px 24 px 27 px

Modifier la présentation Fixer la présentation

MOOC avec AlgoDok,réunion Sillages

le 10 janvier 2014

L. Robin

MOOC avec `AlgoDok`,
réunion Sillages